Turing machine - PDFSEARCH.IO - Document Search Engine

Turing machine
Results: 564

#	Item
411	Bitter, Rick et al "State Machines" LabVIEW Advanced Programming Techinques Boca Raton: CRC Press LLC,2001 3 Add to Reading List Source URL: www.physics.utah.edu Language: English - Date: 2009-03-09 19:26:55 Data types Cross-platform software Enumerated type Type theory C Boolean data type LabVIEW Enumeration Universal Turing machine Computing Software engineering Computer programming
412	On Development of Systems for Number Theoretic Calculation and Related Problems MATSUI Tetsushi 2 Add to Reading List Source URL: tnt.math.se.tmu.ac.jp Language: English - Date: 2007-12-02 04:39:15 Applied mathematics Theory of computation Models of computation Alan Turing Computable number Computable function Turing machine Algorithm Polynomial Theoretical computer science Mathematics Computability theory
413	Microsoft Word - Beijing Workshop[removed]Final Version).docx Add to Reading List Source URL: www.amss.ac.cn Language: English - Date: 2013-11-27 08:17:28 Applied mathematics Quantum computer Quantum information Quantum logic Quantum process Quantum Turing machine Quantum tomography Quantum operation Physics Theoretical computer science Quantum mechanics
414	the language machine – from lambda to language and grammar The language machine is an efficient and usable toolkit for language and grammar that is published as free software under the Gnu GPL. At its core is an engine Add to Reading List Source URL: languagemachine.sourceforge.net Language: English - Date: 2005-11-27 09:14:02 Linguistics Formal grammar Generative grammar Lambda calculus Generative Terminal and nonterminal symbols Turing completeness Symbol Unrestricted grammar Formal languages Logic Science
415	Turmites Programmed by Alexander M Kasprzyk ©[removed]Introduction This application was inspired by a course at the University of Oxford, o3-Functional Programming, in which the second assignment Add to Reading List Source URL: www.kasprzyk.demon.co.uk Language: English - Date: 2007-07-29 13:41:33 Humanâ€“computer interaction Turing machine Artificial life Models of computation Turmite Graphical user interfaces Menu bar Menu Context menu System software Software Graphical user interface elements
416	Chapter 2 1 Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing1 Add to Reading List Source URL: www.bu.edu Language: English - Date: 2012-09-21 17:06:53 Computer science Computable number Halting problem Computable function Description number Turing machine Alan Turing Computability Entscheidungsproblem Computability theory Theoretical computer science Theory of computation
417	Structured Quantum Programming ¨ Bernhard Omer first version 26th May 2003 last revision Add to Reading List Source URL: tph.tuwien.ac.at Language: English - Date: 2009-09-02 05:29:54 Quantum mechanics Quantum programming Quantum computer Qubit Interpretations of quantum mechanics Quantum circuit Mathematical formulation of quantum mechanics EPR paradox Quantum Turing machine Physics Theoretical computer science Quantum information science
418	THE PROFESSION We Are Sorry to Inform You … Simone Santini, University of California, San Diego Add to Reading List Source URL: th.informatik.uni-mannheim.de Language: English - Date: 2006-02-23 13:30:56 Theoretical computer science Models of computation Turing machine Computability theory Algorithm Mathematical logic Computer Goto Fortran Computing Software engineering Computer programming
419	Query Languages and Data Models for Database Sequences and Data Streams Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 01:29:00 Data SQL keywords Turing machine Query languages Relational database management systems SQL Relational database Relational algebra Null Data management Computing Relational model
420	VACUUM EXCELLENCE DEFINED Your P[rtn_r for Your M[nuf[]turing N__^s! Add to Reading List Source URL: www.gnbvalves.com Language: English - Date: 2012-04-26 14:20:00 Fabrication Machine tools Technology Physics Dimension Numerical control Vacuum G-code

UPDATE